SofCheck inspektorius yra statinis analizės įrankis, kad atranda klaidų Java bytecodes. Jis naudoja statinį kontrolės srautą, duomenų srautą, ir įmanoma, vertę nustatyti dauginimas (PVP) metodus nustatyti vietas, kur galėtų atsirasti vykdymo metu klaidų. Tai automatinis programinės įrangos kokybės technika suteikia 100% kelio aprėptis ir leidžia trūkumų būtų galima identifikuoti ir pašalinti labai anksti programinės įrangos gyvavimo ciklą, prieš vykdymo metu. Inspektorius generuoja prielaidas ir postconditions kad apibūdinančius Java kodą elgesį ir yra naudingi baltos laukelį įveskite patikros kodą patikrinimus. Ji aptinka lenktynių sąlygas, indeksas iš ribų, perpildymas, padalinti po nulio, miręs kodas, nepanaudotos užduotys, testai visada vyksta į vieną pusę, arba mesti išimtis. Tai yra 45 dienų bandomoji versija palaiko iki 200 klasių. Produktas yra Sun JRE versiją
Reikalavimai :.
"Windows XP / Server 2003
Apribojimai :
45 dienų bandomasis
Komentarai nerastas